Document SAT assumptions
Update release notes for 0.20
Release 0.20.0