Update MarkupSafe, py-evm, z3-solver requirements (#1893)

Author: dbast

requirements.txt

@@ -10,18 +10,18 @@ eth-hash>=0.3.1,<0.8.0
 eth-utils>=2.0.0
 hexbytes<1.3.0
 jinja2>=2.9
-MarkupSafe<2.2.0
+MarkupSafe<3.1.0
 mypy-extensions==1.0.0
 numpy
 persistent>=4.2.0
 py-flags
-py-evm==0.10.1b1
+py-evm==0.10.1b2
 py-solc-x<3.0.0
 py-solc
 pyparsing>=2.0.2,<4
 requests
 rlp>=3,<5
 semantic_version
-z3-solver<=4.13.0.0,>=4.8.8.0
+z3-solver>=4.8.8.0,<=4.13.4.0
 matplotlib
 certifi>=2020.06.20