Revert to checking for half-revolutions.

Problem with encoder was incorrect physical usage (1mm spacing between chip and magnet!), not in software.
Formatting.
Add notes from class.