Repair unit tests for factorial_config()
Repair unit tests for factorial_config()

When the special_key parameter is used, it is now populated with (key, value)
pairs instead of just the keys.

bgmerrell/desmod,SanDisk-Open-Source/desmod