fixes some tests
increased Value checking
doesn't call load inside Choice's __init__
Merge branch 'master' into 46-remove-symbol-reduction