For your use-case I would also consider a Pentax-K1. You are working under well controlled conditions where you really can get an advantage by using pixelshift.
Edit: I mean the old K1, not the Mark II
For your use-case I would also consider a Pentax-K1. You are working under well controlled conditions where you really can get an advantage by using pixelshift.
Edit: I mean the old K1, not the Mark II