[Feature]: Add checker for contradicting `Variation`s and `Haplotype`s

[MillironX]

Expected behavior

Add function

contradicts(v::Variation{S,T}, h::Haplotype{S,T}) where {S,T}

which checks if a new Haplotype constructed from the Variations of h and v would be valid.

Current behavior

In order to perform this now, one would need to use the private ::Unsafe type to construct a temporary Haplotype and check that for validity.

Possible implementation

Do what I just said above.

Context

My projects currently use the ::Unsafe type to check for Variations that might indicate different alleles of a SNP. This is extremely dangerous, and I want to push this type of code into the package itself.

Link to your project

No response