adding tests for rv32d and rv64d; no encodings yet in asm files