The current thought is that we do something even simpler: we calculate the “minimum witness size” for a given transaction execution, and charge ~5 gas per byte of witness data. So in practice the cost of SLOAD would be ~160 * log(size of storage tree).