Make doubles more like mockito.

Remove allow and assert_exhausted, add verify.
Remove expect, add stub.