Updates version to 0.8.0a3.