Update eval tests (carbon-language#5547)

In the vein of carbon-language#5455.
This also uses the 'int' min_prelude being added by carbon-language#5546.

Author: jonmeow