Add a --enable-debug-tcg option to configure