Function driver_default_max 

pub fn driver_default_max(lib: &Path) -> Result<u64, LoopError>

Query driver_default_max() from the driver lib via a single bash shellout.

Parses stdout as u64. Used when --max-iterations is absent.