All test cases are generated and verified in Stellar Laboratory. Source XDR is also tested to match the vectors, and it is easy to verify in Laboratory directly.