Document top-level function doubling. Closes #29.
Document the no_builtin_verification context manager.