internal/core/adt: fix test names

Test was marked as "ok", but really is failing.
They were still consistent between evalv2 and evalv3.

Signed-off-by: Marcel van Lohuizen <[email protected]>
Change-Id: I91a41c4341ebd772972ea4924ef78fe1f510adcc
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1213495
Unity-Result: CUE porcuepine <[email protected]>
Reviewed-by: Matthew Sackman <[email protected]>
TryBot-Result: CUEcueckoo <[email protected]>

Author: mpvl