I would recommend a minimum of 456. Your jeep and wallet will thank you for it.
With the added weight or tires, suspension, winches, racks, etc etc, a 4.0 needs a bit more rpm on the highway to maintain effeciency.
The numbers I come up with for your ARB's installed is 4000$ including the large compressor that airs tires, or 3850 with the smaller locker compressor only.
The detroits work out to 2850 installed.
Both include gears, bearings, install labor, etc etc.
Basically you are looking at about 5-600$ more per axle for the arb's, depending on what compressor you want.