Add form tests
Fix bug in default verifier builder which prevents symbol loading.