Make sure the backend implementatinos of various interfaces have verify() methods.

Also make the frontend versions actually use them
flake8 fix
added a test for verify-after-finalize
Merge pull request #1455 from alex/verify-all-the-things

Make sure the backend implementatinos of various interfaces have verify() methods.
Merge branch 'master' into verify-interfaces