Long-time and unitary properties of semiclassical initial value representations.