Update options.py: remove extra_checks#54

wyattscarpenter wants to merge 1 commit intomasterwyattscarpenter/mypy:masterfrom

remove-extra_checkswyattscarpenter/mypy:remove-extra_checksCopy head branch name to clipboard