Added the WriteFile method.
Added Randomizer wrapper.

This wrapper saves/restores the seed of the Random PRNG class to (attempt
to) guarantee an quasi-unpredictable seed state.