Fix of setup script & improvement of CI/CD testing

.circleci/config.yml

@@ -31,6 +31,10 @@ jobs:
           name: Unit-testing
           command: cd /home/mythril && ./all_tests.sh
 
+      - run:
+          name: Ensuring that setup script is functional
+          command: cd /home/mythril && python3 setup.py install
+
 workflows:
   version: 2
   build:

setup.py

@@ -294,7 +294,7 @@ setup(
         'requests',
         'BTrees',
         'py-solc',
-        'plyvel'
+        'plyvel',
         'eth_abi>=1.0.0',
         'eth-utils>=1.0.1',
         'eth-account>=0.1.0a2',
@@ -304,11 +304,6 @@ setup(
         'eth-rlp>=0.1.0',
         'eth-tester>=0.1.0b21',
         'coverage'
-        'laser-ethereum>=0.5.19',
-        'requests',
-        'BTrees',
-        'py-solc',
-        'plyvel'
     ],
 
     python_requires='>=3.5',