Add rigorous AST item count validation to Haskell LLBC tests#49

Copilot wants to merge 3 commits intohs-astssyram/charon:hs-astfrom

copilot/enhance-ast-checkingssyram/charon:copilot/enhance-ast-checkingCopy head branch name to clipboard