The TL072 normally runs at higher supply voltages. Typical supplies are ±9 V or a single 18 V. At 5 V, input and output headroom become very limited. The TL072 isn't generally specified for such low voltages. In the Terrarium, 5 V may power digital circuitry. Whether the TL072 needs 5 V depends on the schematic.