All transactions are hashed in full into the Merkle tree, t…

All transactions are hashed in full into the Merkle tree, the root of which is in the block header, which is hashed in PoW. So yes, all transactions are verifiable.

Fetchable? Not necessarily. But a market will arise for that, with archival nodes.