Curious ... I don't see 5V intolerance as a good reason to remove Due support from the library. After all there's many many ways to damage an Arduino and components (don't ask ! 
), and it would be easy enough to build a 5V tolerant circuit to drive the HC-SR04