Reintroduced unused Cairo dummy gates for backwards compatibility of verification keys.