Function parse_tag

crates/ixon/src/proof.rs:1637–1639

(bytes: &[u8])

    let right = merkle_root_canonical(std::slice::from_ref(&c)).unwrap();
    let root = merkle_join(&left, &right);
    assert_ne!(root, merkle_root_canonical(&[a, b, c]).unwrap());
    assert!(claim_roundtrip(&Claim::CheckEnv { root, assumptions: None }));
  }

  #[test]
  fn test_contains_claim_roundtrip() {