Special treatment of fixed tables longer than DOMAIN_SIZE

[joseandro]

• At the end of the protocol, after the aggregation of all intermediate lookup instances has been done, the lookup argument is executed.
• That’s when the list of used tables should be made into a list of field elements, split across as many tables as possible to reach length 2^15 (if at all), as this is the maximum number of entries that can be interpolated and committed to with our srs.
• On input receives the list of fixed tables used
• As output returns the list of entries, already made into field elements with the challenge of the sponge