refactor(TasmObject): Don't panic asserting sizes

Previously, the implementations of `TasmObject`'s function
`compute_size_and_assert_valid_size_indicator` for “primitive types”
like `u32`, `Digest`, etc., panicked, claiming a statically known size
as the reason.

Now, the statically know length is produced.

Also, improve code formatting and a tiny bit of assembly.

Author: jan-ferdinand

tasm-lib/benchmarks/tasmlib_structure_verify_nd_si_integrity___ProofCollectionLookalike.json

@@ -2,8 +2,8 @@
   {
     "name": "tasmlib_structure_verify_nd_si_integrity___ProofCollectionLookalike",
     "benchmark_result": {
-      "clock_cycle_count": 205,
-      "hash_table_height": 234,
+      "clock_cycle_count": 203,
+      "hash_table_height": 228,
       "u32_table_height": 150,
       "op_stack_table_height": 136,
       "ram_table_height": 16
@@ -13,10 +13,10 @@
   {
     "name": "tasmlib_structure_verify_nd_si_integrity___ProofCollectionLookalike",
     "benchmark_result": {
-      "clock_cycle_count": 289,
-      "hash_table_height": 234,
+      "clock_cycle_count": 284,
+      "hash_table_height": 228,
       "u32_table_height": 212,
-      "op_stack_table_height": 196,
+      "op_stack_table_height": 190,
       "ram_table_height": 22
     },
     "case": "WorstCase"

tasm-lib/benchmarks/tasmlib_structure_verify_nd_si_integrity___TransactionKernelLookalike.json

@@ -2,10 +2,10 @@
   {
     "name": "tasmlib_structure_verify_nd_si_integrity___TransactionKernelLookalike",
     "benchmark_result": {
-      "clock_cycle_count": 278,
+      "clock_cycle_count": 282,
       "hash_table_height": 390,
       "u32_table_height": 240,
-      "op_stack_table_height": 184,
+      "op_stack_table_height": 180,
       "ram_table_height": 15
     },
     "case": "CommonCase"
@@ -16,7 +16,7 @@
       "clock_cycle_count": 244,
       "hash_table_height": 390,
       "u32_table_height": 212,
-      "op_stack_table_height": 164,
+      "op_stack_table_height": 160,
       "ram_table_height": 14
     },
     "case": "WorstCase"