Add CommonWorldInvalidations world

This makes this package invalidation-free and precompiles based on an earlier state which matches Symbolics and thus reduces/removed repeated invalidation handling. This shouldn't effect compile at all from where we were before, but it will change precompilation time as it moves it all to a shared moment.

Project.toml

@@ -7,6 +7,7 @@ version = "5.32.0"
 ADTypes = "47edcb42-4c32-4615-8424-f2b9edc5f35b"
 ArrayInterface = "4fba245c-0d91-5ea0-9b3e-6abc04ee57a9"
 Bijections = "e2ed5e7c-b2de-5872-ae92-c73ca462fb04"
+CommonWorldInvalidations = "f70d9fcc-98c5-4d4a-abd7-e4cdeebd8ca8"
 ConstructionBase = "187b0558-2788-49d3-abe0-74a17ed4e7c9"
 DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
 DiffRules = "b552c78f-8df3-52c6-915a-8e097449b14b"
@@ -57,6 +58,7 @@ SymbolicsSymPyExt = "SymPy"
 ADTypes = "1.0"
 ArrayInterface = "7"
 Bijections = "0.1"
+CommonWorldInvalidations = "1"
 ConstructionBase = "1.2"
 DataStructures = "0.18"
 DiffRules = "1.4"

src/Symbolics.jl

@@ -5,6 +5,12 @@ module Symbolics
 
 using PrecompileTools
 
+import PrecompileTools: @recompile_invalidations
+
+@recompile_invalidations begin
+    import CommonWorldInvalidations
+end
+
 using DocStringExtensions, Markdown
 
 using LinearAlgebra