+1 for just shoving pre, no reason to get cute with the 4bet sizing unless you know he's prone to spazzing out. but it sounds like you don't know that, you're just hoping.
whether we jam with the 4bet or not depends on villain really. if they will let us force them to play fit/fold postflop, we don't need to jam it. if they are going to take away our positional advantage like this, then just jam it imo.