If you're using them on copyable types (the default), they're just an optional performance optimization, so you'd verify them the same way as any other performance work: benchmarks and profiling tools (or examining disassembly/using @_assemblyVision to see that the copy you were attempting to eliminate is in fact gone).
If you're using them with non-copyable types, it won't compile if you have it wrong.