test_worst_jumpi_fallthrough()
Test running a JUMPI-intensive contract with fallthrough.
Back to test_worst_jumpi_fallthrough().