Fix model.py interface for pruner compatibility, add optimality note

Rename from tiny-Majority-verified

initial commit