Merge pull request #43 from clhodapp/refactor/fix-verified-assertion-name

Rename verified_? and change its return type
Use by-name parameters in LazyMap
Add tests for LazyMap