Run `cargo test` in release mode

[andreeaflorescu]

Not sure if we also want to keep the debug mode, but we should run the tests using --release.

[lauralt]

I think the safest way would be to run the tests in both modes. Does anyone have any concerns/ a different suggestion?

[andreeaflorescu]

The debug mode is definitely a keeper because it's the only mode in which we can catch arithmetic operation failures.

[nathanwhyte]

Hi Andreea,

I'm taking a Virtualization course at UT Austin and we've been asked to contribute to open-source virtualization repositories for one of our projects. Could I take a shot at resolving this issue?

[andreeaflorescu]

@nathanwhyte sure, go ahead!