How can one test if a binary sequence is exchangeable? Fork-convex hulls, supermartingales, and e-processes