Theory and Practice of Waveforms for Compressive-Sensing Radar