chore(ci): add mypy + hypothesis property tests#16

rezhajulio wants to merge 2 commits into

mainrezhajulio/PythonID-bot:mainfrom

chore/mypy-hypothesisrezhajulio/PythonID-bot:chore/mypy-hypothesisCopy head branch name to clipboard