dropcheck

Tooling to check the correctness of Drop implementations.