Quickcheck: Investigate always testing special cases #46
Description
Right now we test the intrinsics by feeding them random input arguments. Given that we have full control of the Arbitrary implementation perhaps we can tweak the implementation to always generates special cases at the beginning. In other words, change the generated inputs from:
Today: e.g. i32 inputs: <rand>, <rand>, <rand>, ...
To: i32::MIN, 0, i32::MAX, <rand>, <rand>, ...