[Compiler] Check resource loss in assignments

[SupunS]

Work towards #3976

Description

Force assignment is also treated as any other assignment. At runtime, all assignments must check for resource-loss. Index assignment, and field assignment already has this check (comping from the interpreter). So the only change needed was to do the same check in local variable assignments (i.e: SetLocal).

---

• 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 c3dbf57
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]

Great work! 👏