add extensions option to riscv-dis for better disassembly
push tests