fixup! Implementing remainder of diamond test
Adding symmetric receipt guarantee test
Intermediate commit