Merge Verify work back into tree

This pull request is for the last month or so of Verify work.  It should not greatly impact files outside of NetCore_Verify* and friends.