Test ALL to_buffered rules

[dfdx]

with something like:

X = rand(...)
Y = rand(...)
Ze = zeros(...)
Zb = zeros(...)
eval(ein_expr)
eval(buf_expr)
@assert Ze == Zb

sizes of variables should be determined automatically from indices in Einstein notation.