Refactored quickcheck to use AtomWorld as control.
Abstracted away top-level comparison function.
Refactored test runner out of -main.