Fix a minor bug in bounds inference, added a test for fuse

Nested splits of coprime sizes were generating a reference to the max_min of
the inner dimension, which was not defined. Also, fuse was tracking the min
realization size incorrectly.
Assume less about the alignment of input and output buffers.
Fixed alignment of packed<->planar tested