Implement `BinOp::Eq` semantics for `PtrLocal`

• Status: Solved with https://github.com/runtimeverification/mir-semantics/pull/736
• Todos: Check with the latest proof result

As observed in a P-token proof:

        <k>(
            kseq(
                thunk( #applyBinOp( BinOp::Eq , Value::PtrLocal(
                    "4",
                    place(local("2"), ProjectionElems::empty),
                    Mutability::Not,
                    PtrEmulation(noMetadata)
                ) , Value::PtrLocal(
                    "4",
                    place(local("3"), ProjectionElems::empty),
                    Mutability::Not,
                    PtrEmulation(noMetadata)
                ) , "false" ) ),
                kseq(
                    #freezer#selectBlock( kseq(
                        switchTargets( Branches::append(
                            branch( "0" , basicBlockIdx( "5" ) ),
                            Branches::empty
                        ) , basicBlockIdx( "4" ) ),
                        dotk
                    ) ,,
                    dotk
                )
            )
        ),

This expression causes issues with booster and kore simplification of the result after fall-back.