High Frequency Attenuation and Size Distribution Measurements of Definity and Manipulated Definity Populations