Merge pull request #2 from nick8325/master

Fix bug in iPickBounded; don't introduce a disjunction when translating <=
Add some QC properties (thanks to Nick Smallbone) and bump version.
Tighten the real shadow a bit.