The Send and Sync Bounds for Futures

Determine why Send requirements are critical for cross-thread executor support and how to enforce them.