Expand @prove property coverage

[hyperpolymath]

Extend pattern matching and symbolic proof support for more properties, with clearer error diagnostics.\n\nRefs: src/dsl/prove.jl

[hyperpolymath]

✓ Completed in commit 3f14c53

Added 8 new pattern matchers for common neural network operations:

• Layer/batch normalization
• Dropout, MaxPool, AvgPool
• Concat, Conv, Linear layers

Enhanced error diagnostics with:

• Detailed reasons for proof results
• Actionable suggestions for fixing failed proofs
• Unicode symbols (✓✗⚠) for better readability

See src/dsl/prove.jl for implementation.