Check by binary operations that used `SecureArray`s and `PlainArray`s are compatible

[ArseniyKholod]

As mentioned in #59, It would be good to have a sanity check that in operations like add, subtract, ..., the used data structure is compatible, meaning e.g. arrays have the same shape.