rand/fuzz does not leverage assertion/vassume in code and just generate really random inputs

[nguyenthanhvuh]

• probably` should use a better fuzzer than pure random
• Also should have a quick check for potentially infinite loop and terminate and report the error to user