Add more no-void tests, update rule documentation.