Haven't the PC already incremented by 1 in the default IF in w450.v, in
which case branches should use PC + 1 for the skipping the offset? Or is
the + 1 in IF disregarded?
Also, either case, I think the PC for not-taken should be PC + 2 or PC +
1 rather than PC?