Factored out common idioms.

Now both IO_Read and IO_Write will sport common IO_Check modules.
All IO Ready detection simplified.