Merge branch 'develop' of github.com:ConsenSys/mythril into backward_compatible

.circleci/config.yml

@@ -109,7 +109,6 @@ jobs:
                 --rm edelweiss-mythril:latest \
                 --timeout 30 \
                 --output-dir /opt/edelweiss \
-                --plugin-dir /opt/mythril \
                 --s3 \
                 --circle-ci CircleCI/mythril.csv \
                 --ignore-false-positives $IGNORE_FALSE_POSITIVES \

mythril/interfaces/cli.py

@@ -552,6 +552,7 @@ def execute_command(
             address=address,
             max_depth=args.max_depth,
             execution_timeout=args.execution_timeout,
+            loop_bound=args.loop_bound,
             create_timeout=args.create_timeout,
             enable_iprof=args.enable_iprof,
             disable_dependency_pruning=args.disable_dependency_pruning,