Seriously dude, with as much respect as possible, what the fuck are you talking about? Daven gave us a read: he's a passive fucking donk. When we check how often is he gonna bet with anything that we beat? He calls our bet 100% of the time with worse and raises only with better. Maybe I'm missing something but given reads I can't see how check/shoving is ever +ev here.