Plutus Tx stdlib needs way more tests

[effectfully]

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.