Allow verification with certificate provided at runtime.

Remove some unecessary memoization.

Add examples and trim unnecessary setup code from spec.