Open the Emet proof-gated upgrade demo