First organized release

This version has proofs for accountable safety and plausible liveness.