Fix limitRecursionBytes for infinite Value's

Since infinite values take infinitely long to encode, we can't first
check whether the full value fits into maxBytes. We need to approach the
limit from below instead.

morpho-checkpoint-node/src/Morpho/Tracing/Verbosity.hs

@@ -30,9 +30,7 @@ limitRecursion _ v = (Any False, v)
 -- longer than @maxBytes@. In case @'limitRecursion' minRecursion value@ is
 -- already longer than @maxBytes@, it is returned despite that.
 limitRecursionBytes :: Int -> Int64 -> Value -> Maybe Value
-limitRecursionBytes minRecursion maxBytes value
-  | atMostMaxBytes value = Just value
-  | otherwise = lastMay satisfiedLevels
+limitRecursionBytes minRecursion maxBytes value = lastMay satisfiedLevels
   where
     -- Infinite list of Values filtered with an increasing recursion level,
     -- annotated with whether they are filtered at all
@@ -50,7 +48,7 @@ limitRecursionBytes minRecursion maxBytes value
     -- A finite list of Values filtered with an increasing recursion level,
     -- limited to the Values whose JSON encoding doesn't exceed maxBytes
     satisfiedLevels :: [Value]
-    satisfiedLevels = takeWhile atMostMaxBytes effectiveLevels
+    satisfiedLevels = takeWhile atMostMaxBytes (effectiveLevels ++ [value])
 
     -- Whether the given Value doesn't exceed @maxBytes@ bytes when encoded
     -- as JSON