Regression Tests for the Radare2 Reverse Engineer's Debugger