[Compiler] Compile transaction pre/post conditions

[SupunS]

Work towards #3769

Description

Include the transaction pre/post conditions into the execute function, so that the existing condition desgaring logic would handle and generate code.

---

• Targeted PR against master branch
• Linked to Github issue with discussion and accepted design OR link to spec that describes this work
• Code follows the standards mentioned here
• Updated relevant documentation
• Re-reviewed Files changed in the Github PR explorer
• Added appropriate labels

[github-actions]

Cadence Benchstat comparison

This branch with compared with the base branch onflow:feature/compiler commit 5a3d8c8
The command for i in {1..N}; do go test ./... -run=XXX -bench=. -benchmem -shuffle=on; done was used.
Bench tests were run a total of 7 times on each branch.

Collapsed results for better readability

[turbolent]

Nice!

[turbolent]

Nice!