force a better layout for the freshness consistency diagram using invisible nodes and weighted edges
- add a build-dep script and a placeholder for proofs