Finish docs for 0.9.0 release; fix bugs in state probes and test timing