Slightly better arbitrary number generation.
Starting work on actual checkable properties.
Basic property checking working.