Tests for the longest increasing subsequence