Plutus Tx stdlib needs way more tests

I accidentally broke the implementation of `drop` in the standard library of Plutus Tx and no `plutus-tx` test failed, even though the simplest one would catch such a bug. We really need to write proper property tests for as many Plutus Tx functions as possible, just some basic stuff like `take n xs ++ drop n xs == xs` etc.