SystemC uint64_t pins are now the default instead of sc_bv<64>.

Use --no-pins64 for backward compatibility.

src/V3Options.cpp

@@ -833,7 +833,7 @@ V3Options::V3Options() {
     m_makeDepend = true;
     m_makePhony = false;
     m_outFormatOk = false;
-    m_pins64 = false;
+    m_pins64 = true;
     m_profileCFuncs = false;
     m_preprocOnly = false;
     m_psl = false;