commit of verification long standing branch

you may want to take a look at ```KRunOptions#io()``` and ```KRunOption.Experimental#prove()```