Binary Disassembly Block Coverage by Symbolic Execution vs. Recursive Descent