Change Details

`ninja all check-all` Before this commit: ``` d$ src/bench/bitcoin-bench -filter=VerifyNestedIfScript # Benchmark, evals, iterations, total, min, max, median VerifyNestedIfScript, 5, 100, 0.0473822, 9.28665e-05, 9.67629e-05, 9.47128e-05 ``` After: ``` $ src/bench/bitcoin-bench -filter=VerifyNestedIfScript # Benchmark, evals, iterations, total, min, max, median VerifyNestedIfScript, 5, 100, 0.0138046, 2.68691e-05, 3.00776e-05, 2.70254e-05 ```

`ninja all check-all` Before this commit: ``` $ src/bench/bitcoin-bench -filter=VerifyNestedIfScript # Benchmark, evals, iterations, total, min, max, median VerifyNestedIfScript, 5, 100, 0.0473822, 9.28665e-05, 9.67629e-05, 9.47128e-05 ``` After: ``` $ src/bench/bitcoin-bench -filter=VerifyNestedIfScript # Benchmark, evals, iterations, total, min, max, median VerifyNestedIfScript, 5, 100, 0.0138046, 2.68691e-05, 3.00776e-05, 2.70254e-05 ```

`ninja all check-all` Before this commit: ``` d$ src/bench/bitcoin-bench -filter=VerifyNestedIfScript # Benchmark, evals, iterations, total, min, max, median VerifyNestedIfScript, 5, 100, 0.0473822, 9.28665e-05, 9.67629e-05, 9.47128e-05 ``` After: ``` $ src/bench/bitcoin-bench -filter=VerifyNestedIfScript # Benchmark, evals, iterations, total, min, max, median VerifyNestedIfScript, 5, 100, 0.0138046, 2.68691e-05, 3.00776e-05, 2.70254e-05 ```