just writing testers that throw exceptions and not using testing
library for harder properties to test (because of randomness).