makefile: add default to phony targets.
remove stale arguments from xcode scheme.
set len(); assert set is empty when write_repr finishes.