fix(verifier): include @ in anchor labels and support EVars (#5291)

2 files changed