Bump Shark version to 0.9.2.