Hidden option C: make a regular bet and hope he calls it. Checking is terrible, and shoving is not great either on account of it being a huge overbet vs. an opponent who doesn't seem very likely to call such a thing. This is very easily a value bet siutation.