Move verify! to an is_doc guard in algebra