Fix the representation of MaskLayer addresses

The type of MakeLayer address is uint64, so we fix the representation
and only display the low 32 bits.