doc(tactic/*): doc entries for some missing tactics (#2489)
This covers most of the remaining list in the old issue #450. I've already checked off my additions.
Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>
Co-authored-by: Scott Morrison <scott@tqft.net>
