Sentinel v2.4: containment TLA+, security reviews (contract/dashboard/OPA), HSM+Terraform, zk relayer, implementation plan

Sentinel v2.4: containment TLA+, security reviews (contract/dashboard/OPA), HSM+Terraform, zk relayer, implementation plan #539