Longest increasing subsequence, with basic tests