Implement and add conformance tests for bool/integer/list/pair/unit casing

[jonathanlim222]

This PR implements and adds conformance tests for bool/integer/list/pair/unit casing.

Additional case behavior information:

• Caseing a builtin list, exactly one or two branches are allowed: with a single branch, Case assumes the list is non-empty and applies the head element and the tail to that branch; with two branches, the first branch is selected if the list is empty (and takes no arguments), and the second branch is chosen if the list is non-empty, receiving the head element and the tail as its arguments. Note, the single branch WILL FAIL the script evaluation if empty list is given.
• Caseing on pairs expects a single branch that takes two arguments for each values of the pair
• Caseing on the unit expects a single branch or arbitrary value which will get picked everytime

References:
[Builtins] Allow casing on booleans and integers
[Builtins] Add constant casing for builtin unit and pair
[Builtins] Allow casing on lists

[MicroProofs]

Has this error changed in the haskell version?

[jonathanlim222]

The NonConstrScrutinized has not changed.

https://github.com/IntersectMBO/plutus/blob/0afc97f60fba436b08ba99b98c62b47b1670003a/plutus-core/plutus-core/src/PlutusCore/Evaluation/Machine/Ck.hs#L252

[jonathanlim222]

I've updated some of the errors to be more in line with the Haskell implementation.

[jonathanlim222]

Not really sure why the Clippy and Format checks are failing now, it worked before.