Test Push with a custom backend

I implemented `ReadHeader` in the `MockOdbBackend`, and verified (manually) that we make use of it.