Function signextend_word_dynamic 

pub(crate) fn signextend_word_dynamic(
    byte_index: SymWord,
    value: SymWord,
) -> SymWord

Implements the signextend_word_dynamic EVM semantics helper.