Include transaction to L1 using constraints

Spec: https://github.com/eth-fabric/constraints-specs/tree/main/specs

The https://github.com/eth-fabric/fabric repository integrates the constraints_builder as a subrepo and puts everything together end-to-end on kurtosis