M4 WEC development and wave basin Froude testing