typos and tests
Merge pull request #1 from mgravell/master

.NET 3.5 support and fixes
Merge fun
Fixing UnboxAny test
For now, add type assertions around labels to deal with verification rejecting some legit control flows
Updating readme to reflect verifier changes
1.2.0; changing verifications = minor version bump; .net 3.5 library included
volatile inferrencing doesn't work with builders, adding an override