Future documentation improvements

 * Added `ExecutionContext.global` details, especially regarding blocking
 * Added a section on synchronous `ExecutionContext`
 * Wrapped blocking calls in the Future section with `blocking`
 * Made the distinction between blocking in a future and on a future clearer