bids-examples exists exercising many parts of the bids spec. How do we design tests? What does correctness look like?