waterfall 0.1.0

The first public release of waterfall, an ACL2-inspired Lean tactic for inductive proofs. It includes configurable search and committed modes, a single effort control, optional parallel search, proof-command suggestions, compiled examples, and documented Software Foundations evaluation.