Doc and blog post bug - everything talks about uncheckedOverflow, but the code uses uncheckedOverflows

[banshee]

See 8b4d859 where the code has

diff --git a/Public/TestEVM/Builtin/UncheckedOverflow/C.spec b/Public/TestEVM/Builtin/UncheckedOverflow/C.spec
new file mode 100644
index 00000000..9fd93c87
--- /dev/null
+++ b/Public/TestEVM/Builtin/UncheckedOverflow/C.spec
@@ -0,0 +1 @@
+use builtin rule uncheckedOverflows;

Need to fix doc and probably the blog post at https://www.certora.com/blog/prover_v8.8.0

[srunquist-certora]

Thanks!
Blog post fixed, documentation fixed.