Enable all integration tests

[certik]

Due to the sync in #2836 we had to disable some tests in integration tests.

Let's enable them again, one by one, by porting the implementation from the old version of libasr in https://github.com/lcompilers/lpython/tree/635ed2020123199c22f25d3dd23056cd80717762/src/libasr to the latest main by following the workflow described in #2836 (comment).