Wing thickness constraints implemented with derivatives; derivatives appear to be correct but not exhaustively tested