stitch together sbv, refts, and hint to generate test cases for
refinements and dynamically check.

only works for integer functions of single arguments at the moment..