Add missing CASTs from/to BINARY

And a test for the new behavior of extending with zeros in the target case.