Add specs for halt
Add specs for restart
Add specs for snapshot
Add specs for keys
Add a version spec