add QucikCheck for HeaderFrame
add DataFrameQuickCheck