Generates Lean source from Theoria validation data and asks Lean to validate it.
Use --only equality, --only bool,nat,list, or --only defeq to run a
smaller validation slice while developing encoders. This task is contributor-only.
Lean is not required to use Theoria as a library.