adding unwinding assertions to preferences
small improvement of unwinding tests
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
better nondet boolean and range constraints - initial work
added bitvector-based generation of nondeterministic booleans