Wavefront coding with adaptive optics