Optimal rank-based tests against first-order superdiagonal bilinear dependence