clang-tidy: [misc-use-override] Correctly handle defaulted destructors.

Also, minor implementation and test fixes.