Git push failure. Repo resync.

All changes: Shape counter-clockwise rotation fixed. Tetrimino
documentation updated. Testing suites updates to be less verbose.
Readme and rotation algorithm proof updated.