Fix array_slice() dynamic return type

[dravnic]

When array_slice() offset or limit parameters aren't constants we cannot dynamically override return type, so for those cases return type should stay array.

This PR fixes this and as well it includes minor refactor and tests for array_slice offset/limit parameters as variables.