Extra sanity checks, invariants. Add first version of source rollback.