Smooth Elliptic Regularity for Pseudodifferential Operators