benchmarks: add encoding benchmarks, generalize further
optimize unbeam for lists

add strictness, DList, INLINEs, and mconcat everything in 'beam'
loosen bound on QuickCheck
stricter generic code