This pr changes the `ExecuteBlock` trait to return the final header that
results from executing the given block.