[hmr] `ReactiveMappingProxy.update` should be batched

[CNSeniorious000]

And __len__ may should be decorated with DerivedMethod, too. (Previously DerivedMethod's __self__ must be hashable, which is fixed since 77e83e4)

[linear]

PROM-70 [hmr] `ReactiveMappingProxy.update` should be batched