* Asbtract witness generator compilation and bundling into action. * Rename arch names so they follow Rust's standard.