update default universe plumbing and tidy builtin handling (#7754)

Author: zliu41

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-16/case-16.uplc.budget.expected

@@ -1,2 +1 @@
-({cpu: 292356
-| mem: 606})
+evaluation failure

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-16/case-16.uplc.expected

@@ -1,7 +1 @@
-(program
-  1.0.0
-  (con
-    bytestring
-    #83edc0ce742bb09957613e44150205679d3f61a467b25cc758a3b033c2f0d68584803b9dc05b3b0b9cbd66
-  )
-)
+evaluation failure

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-18/case-18.uplc.budget.expected

@@ -1,2 +1 @@
-({cpu: 292356
-| mem: 606})
+evaluation failure

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/rotateByteString/case-18/case-18.uplc.expected

@@ -1,7 +1 @@
-(program
-  1.0.0
-  (con
-    bytestring
-    #220a8102b3ce9fb0d233d92e63ac51d819e1786b42c2401dcee02d9d85ce5eb341f6e0673a15d84cabb09f
-  )
-)
+evaluation failure

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-13/case-13.uplc.budget.expected

@@ -1,2 +1 @@
-({cpu: 292271
-| mem: 606})
+evaluation failure

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-13/case-13.uplc.expected

@@ -1,7 +1 @@
-(program
-  1.0.0
-  (con
-    bytestring
-    #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-  )
-)
+evaluation failure

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-15/case-15.uplc.budget.expected

@@ -1,2 +1 @@
-({cpu: 292271
-| mem: 606})
+evaluation failure

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-15/case-15.uplc.expected

@@ -1,7 +1 @@
-(program
-  1.0.0
-  (con
-    bytestring
-    #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-  )
-)
+evaluation failure

plutus-core/plutus-core.cabal

@@ -264,6 +264,7 @@ library
     PlutusCore.Core.Type
     PlutusCore.Crypto.Utils
     PlutusCore.Default.Universe
+    PlutusCore.Default.Universe.Cardano
     PlutusCore.Eq
     PlutusCore.Parser.Builtin
     PlutusCore.Parser.ParserCommon

plutus-core/plutus-core/src/PlutusCore/Bitwise.hs

@@ -22,6 +22,7 @@ module PlutusCore.Bitwise
   , countSetBits
   , findFirstSetBit
   , IntegerToByteStringError (..)
+  , maximumInputLength
   , maximumOutputLength
   ) where
 
@@ -77,6 +78,10 @@ CPU time increases smoothly for inputs up to about 8K then increases sharply, be
 about 14K).  This restriction may be removed once a more efficient implementation becomes available.-}
 {- NB: if we do relax the length restriction then we will need two variants of integerToByteString in
    Plutus Core so that we can continue to support the current behaviour for old scripts.-}
+maximumInputLength :: Integer
+maximumInputLength = 4096
+{-# INLINE maximumInputLength #-}
+
 maximumOutputLength :: Integer
 maximumOutputLength = 8192
 {-# INLINE maximumOutputLength #-}