Optimize evaluation of list comprehensions in Cryptol interpreter
Optimize evaluation of list comprehensions in Cryptol interpreter

To avoid doing so many map unions, the evaluation function for list
comprehensions now produces a map containing lists of values instead
of a list of maps.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol