Remove completed things from TODO

Since I've done them already
Check leading
Check definedness of trailing properties if none are provided
Flesh out trailing WHY tests a bit
Add leading/trailing checks to why-both.t
Check leading/trailing off of the TODO list