add coverify, attempt to fix travis