einsum should be able to deal with inner and permuted inner product

[romeric]

Specially permuted inner product is missing right now

[romeric]

This has been implemented and einsum can now safely deal with reduction and permuted reduction cases without static assertions or segfaults. Related commit [7018ab8].