main
Migrate to the new porcupine API for nondeterministic model
robustness: fix typos in validate package comments
Add support for KeysOnly into robustness tests
Use static list of keys in model
Extract methods for accessing EtcdState fields