Incremented version to 0.9.12, fixed design implementations' code coverage.