implement lead_paddings attribute

There is nothing that consumes lead_paddings right now, but it will be useful
for plotting and gauge fixing.
Closes #266.
parent 91bdb0b1
Pipeline #14419 passed with stages
in 42 minutes and 57 seconds