This issue aggregates any changes needed in lean-quickstart for Devnet-4, including: - PRs and branches from clients - New flags - Container images - Binary builds - Other requirements Recommended image tag: `devnet4` [Pq-devnet-4: High Level Plan](https://github.com/leanEthereum/pm/pull/71)