Consider the size difference by percentage. Not much between 4.15 and 4.25. If there is no problem switching go with the longer stroke. Or longer, if it will clear and still allow an internal oil pickup, which I assume you want to keep.
After having built a 535 cube stock block and heads motor, IMHO bigger is better. That motor would run low tens in a 3400 lb car shifting at 5700 rpm.
You should easily be able to fit a 4.25 stroke deal in a stock block with a 2.2 rod bearing. The other consideration is which size bearing to run. The BBC 2.2 with .990 piston pins is the best choice because it reduces rotating weight. All the parts get lighter, crank, rods, pistons!