Bump version to 0.9.0.0
Rework Benchmarkable from a typeclass to a newtype

The typeclass gave us no expressivity, but complicated the code
somewhat. The new arrangement is quite a bit simpler.