Function verilization_destroy

#[no_mangle]
pub unsafe extern "C" fn verilization_destroy(
    verilization: *mut Verilization,
)

Destroys a verilization model.