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