Buffer Alignment definition improved

[piyush-kurur]

Now that backpack supports working with KnownNat constraints instead of explicit definitions, we do not have to fix the Buffer Alignment through out.