Lobsters: Golden Testing a CAD Library