Ensure that user-specified seed is actually used before any random numbers are generated. Fixes #35.