A very simple prop checker
Run all properties for the type class
Ensure that the type class has defined properties
run!(module, module, atom, non_neg_integer) :: no_return
ensure!(term) :: no_return