Function run 

pub async fn run<B: Backend>(backend: &B) -> Report

Run every case against a backend, collecting all outcomes.

Never stops early: one broken assumption usually surfaces as several failing cases, and the set of them is what identifies it.