Bumped v0.9.0. Updated HISTORY.