Alan,
I don't know much about these modern gearboxes with internal kickstart springs, but I wonder if you could loop piece of string around the spring hook and pull it tight to pre load it? You just judge the pre load by how it feels.
Regarding endfloat, assuming the gearbox was working OK before the spring broke, I wouldn't worry about it too much.
However, I would make the gasket about the same thickness as the old one. When it's all assembled, grab the mainshaft and push it in and out. If you have a DTI gauge, use that, turning the shaft through 360 degrees. (Endfloat will alter if something is bent). Otherwise just judge it by eye.
I don't think this need concern you at this stage, but it might be worth mentioning that endfloat would normally be accurately checked with the component clean, dry and free of oil.
Finally, if you can't select gears after you've reassembled it, it probably means the indexing of the teeth on the selector shaft is incorrect.
Best of luck, and let us know how you get on.