Removes realization quickcheck properties
WIP cleaning up APIs