Given the button's stack size, I push and get it heads up if he calls.

If his stack was equal to yours, I'd call then check-raise all in after a flop without overcards.