Merge branch 'master' into aztec-packages

* master: (21 commits)
  chore: crypto blackbox tests (#5614)
  feat: Improve "type annotations needed" errors (#5830)
  chore: enum dummy ID for `FuncId` in monomorphizer and docstring fixes (#5421)
  chore: delete wip fuzzing files that got accidentally added  (#5829)
  chore: test ACVM `BigInt` (#5559)
  fix(docs): Fix file paths for metaprogramming docs (#5826)
  fix: bit shifting type checking (#5824)
  feat: add Expr::as_method_call (#5822)
  chore: Fix docs typo (#5821)
  feat: add `UnresolvedType::is_field` and `Expr::as_assign` (#5804)
  chore: Add docs for each comptime method (#5802)
  chore: Add comptime docs (#5800)
  fix: Handle multiple entry points for Brillig call stack resolution after metadata deduplication (#5788)
  fix(acir_gen): Nested dynamic array initialization (#5810)
  fix: honor function visibility in LSP completion (#5809)
  feat: LSP completion now works better in the middle of idents (#5795)
  feat: Explicit Associated Types & Constants (#5739)
  feat: add `Expr::as_cast` and `UnresolvedType::is_field` (#5801)
  feat: add `Expr` methods: as_comptime, as_unsafe, is_break, is_continue (#5799)
  fix: do not use predicate for index in array operation, when the index is safe (#5779)
  ...

Cargo.toml

@@ -166,6 +166,14 @@ rust-embed = "6.6.0"
 # See https://ritik-mishra.medium.com/resolving-the-wasm-pack-error-locals-exceed-maximum-ec3a9d96685b
 opt-level = 1
 
+# release mode with extra checks, e.g. overflow checks
+[profile.release-pedantic]
+inherits = "release"
+overflow-checks = true
+
+[profile.test]
+inherits = "dev"
+overflow-checks = true
 
 [profile.size]
 inherits = "release"