It seems that your example of bijection  that sends one Cantor set with positive measure to another Cantor set with zero measure can be made $C^\infty$. 

Am I missing something?