Add --kore-rpc-command option to pyk prove
#5239
| Job | Run time |
|---|---|
| 1m 2s | |
| 1m 12s | |
| 1m 4s | |
| 1m 23s | |
| 1m 11s | |
| 1s | |
| 34s | |
| 2m 2s | |
| 22m 56s | |
| 16m 42s | |
| 4m 40s | |
| 18m 0s | |
| 26m 58s | |
| 4m 43s | |
| 17m 56s | |
| 11m 39s | |
| 21m 37s | |
| 2h 33m 40s |