No more transitive immigration of checkers.
Move prerequisite count checking to checking/examples
Tweaks to parsing readme
Give fake maps an explicit default