throw a proper (catchable) exception when SMT blows up instead of producing values
Merge branch 'master' of github.com:gridaphobe/liquidcheck