refactor testing code

[agarwal]

All code related to tests is in one monolothic file. Improvements would be:

• Create a test library. Move virtually all code there and follow corresponding design guide, e.g. provide mli, document every function, etc.
• Make random generators an instance of Core's Quickcheck.Generator.t.