Improve gadget API

[kustosz]

The Gadget API is currently quite clunky, requiring the users to properly wrap/unwrap arrays. We could, instead, use Go's generics to make it smarter in the input/output specs, resulting in a much better, slice-free experience. This task includes designing and API and implementing it. One avenue to explore is to reuse as much of existing gnark infra as possible.