fix whitespace
move verify methods after their matching check method
updated method docs
added verify_removed_name method body, still need to test
handle case where prod verification of a rename returns a bad status
add some tests for renaming
update docs for grammar