Update mythril to 0.23.19#233

pyup-bot wants to merge 1 commit intomastercleanunicorn/karl:masterfrom

pyup-update-mythril-0.22.19-to-0.23.19cleanunicorn/karl:pyup-update-mythril-0.22.19-to-0.23.19Copy head branch name to clipboard