Replace makeArbitrary by a recursive derivation of arbitrary instances

[gaa-cifasis]

• [x] Fix loop in recursive derivation (i.e, Xml, Svg)
• [x] Improve size reduction of lists in types
• [x] Improve size reduction in mutually recursive types
• [x] Fix Image instances in recursive derivation (i.e, Gif)
• [x] Merge recder branch

[gaa-cifasis]

Now we have MEGADeTH. It is seems to be working fine.