Refactored isFirstLayerSolved()
Passes test for isfirstLayerSolved_idempotent
Passes trivial test for isThirdLayerSolved
Passes tests for isThirdLayerSolved