Ensure ShadowInstructions are removed from relevant maps before deletion, to avoid mistakes when the memory is reallocated.
Add basic support for reading FIFOs, currently just stdin but trivially also sockets.