feat: check property function for dynamic linked callee contract

[dudong2]

Description

Closes #300

Types of changes

• [ ] Bug fix (changes which fixes an issue)
• [x] New feature (changes which adds functionality)
• [ ] Breaking change (fix or feature that would cause existing functionality to not work as expected)
• [ ] ETC (build, ci, docs, perf, refactor, style, test)

Checklist

• [x] I followed the contributing guidelines.
• [ ] I have updated the documentation accordingly.
• [ ] I have added tests to cover my changes.
• [x] The PR title and commits are followed conventional commit form.

[loloicci]

In this repository, the changelog is generated automatically when each new tag is released. So each PR does not need to contain its information in the changelog.

[loloicci]

add a test that checks contracts without callable points and _get_callable_points_properties passes check_wasm_exports to check_wasm_exports_works