Split header chain traits into "Finality" and "Full"

This allows us to track the bare mininum for bridging (just finalized headers)
while at the same time giving an option to track all the headers of a
particular chain.