Add verification tags, make alice tests strict(ish) again