Don't do fancy progress bars for :check in batch mode
update random values after changing random generation
Only return changes to the closed environment
Updated test output for monomorphic bindings
Merge remote-tracking branch 'origin/master' into wip/mono-binds
Test 225 no longer fails, this fixes #5