opcode push

- [x] {:try, {:y, 7}, {:f, 371}}
- [x] {:gc_bif, :byte_size, {:f, 0}, 7, [x: 1], {:x, 0}}
- [ ] {:bs_get_tail, {:x, 0}, {:x, 0}, {:u, 3}}
- [x] {:get_list, {:x, 0}, {:x, 1}, {:x, 2}}
- [x] {:test, :is_ne_exact, {:f, 232}, [x: 2, atom: true]}
- [x] {:test, :is_ge, {:f, 176}, [x: 1, integer: 160]}
- [ ] {:apply, 1}
- [x] {:bif, :node, :nofail, [], {:x, 0}}
- [ ] {:get_map_elements, {:f, 265}, {:x, 0}, {:list, [atom: :state, x: 6, atom: :reason, x: 5, atom: :name, x: 4, atom: :last_message, x: 3, atom: :handler, x: 2]}}
- [x] {:try_end, {:y, 6}}
- [ ] {:put_map_assoc, {:f, 0}, {:literal, %{}}, {:x, 0}, 4, {:list, [atom: :level, x: 0, atom: :meta, x: 2, atom: :msg, x: 1]}}
- [x] :build_stacktrace
- [ ] {:test, :bs_match_string, {:f, 303}, [{:x, 0}, 8, "\n"]}
- [x] {:test, :is_binary, {:f, 272}, [x: 1]}
- [x] {:get_tl, {:x, 0}, {:x, 0}}
- [x] {:bif, :element, {:f, 0}, [x: 1, x: 0], {:x, 3}}
- [ ] {:call_fun, 1}
- [x] {:gc_bif, :length, {:f, 0}, 2, [x: 0], {:x, 2}}
- [ ] {:wait_timeout, {:f, 392}, {:y, 1}}
- [ ] {:test, :bs_skip_utf8, {:f, 249}, [{:x, 0}, 6, {:field_flags, 0}]}
- [ ] {:bs_start_match3, {:f, 117}, {:x, 0}, {:u, 4}, {:x, 4}}
- [ ] {:bif, :get, {:f, 0}, [atom: :"$logger_metadata$"], {:x, 0}}
- [x] {:loop_rec_end, {:f, 6}}
- [x] :send
- [ ] {:bs_set_position, {:x, 0}, {:x, 5}}
- [ ] {:test, :bs_test_tail2, {:f, 307}, [{:x, 0}, 0]}
- [ ] {:bs_start_match4, {:atom, :no_fail}, {:u, 4}, {:x, 0}, {:x, 0}}
- [x] {:recv_mark, {:f, 623}}
- [x] {:loop_rec, {:f, 571}, {:x, 0}}
- [x] {:bif, :"=/=", {:f, 0}, [x: 0, integer: 64], {:x, 0}}
- [x] {:bif, :tuple_size, {:f, 0}, [x: 0], {:x, 3}}
- [ ] :remove_message
- [x] {:test, :is_port, {:f, 71}, [x: 0]}
- [ ] {:select_tuple_arity, {:x, 0}, {:f, 144}, {:list, [2, {:f, 143}, 3, {:f, 142}]}}
- [x] {:allocate_heap_zero, 2, 4, 3}
- [x] {:recv_mark, {:f, 549}}
- [x] {:test, :is_eq, {:f, 129}, [x: 1, x: 3]}

No source file or test is named. Start by locating the opcode-dispatch or push implementation, then compare it with the unchecked entries such as :bs_get_tail, :apply, and :remove_message; done means the remaining checklist items are supported and verified.

Written by the indexing model from the issue text.